Словарь по логике - принцип однозначности

один из трех основных принципов теории отношения именования (обозначения). Согласно П.о. всякое выражение (имя) должно иметь только один денотат, т. е. обозначать только один предмет, класс предметов или свойство. П.о. исключает омонимию, т. е. обозначение одним словом разных вещей, напр.: ключ от квартиры и ключ в лесу, из которого пьют (см.: Имя, Обозначения отношение).